1. Automata, languages and programming :
Author: edited by G. Ausiello and C. Böhm.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
2. Automata, languages and programming : Fifth Colloquium, Udine, Italy, July 17-21, 1978
Author: edited by G. Ausiello and C. Bohm
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
62
3. CAAP'81 : trees in algebra and programming 6th Colloquium, Genoa, March 5-7, 1981 : proceedings
Author: edited by E. Astesiano and C. Bohm; under the sponsorship of the European Association for Theoretical Computer Science )EATCS(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
112
4. Calculus and Computer Science Theory, Proceedings of theSymposium held in Rome March 25-27, 1975. IAC-CNR Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
Author: / Edited by C. Bohm
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Combinatory logic -- Congresses,Programming languages (Electronic computurs) -- Congresses
Classification :
QA
905
.
L35
5. On deaths and endings :
Author: edited by Brent Willock, Lori C. Bohm and Rebecca C. Curtis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Bereavement-- Psychological aspects.,Death-- Psychological aspects.,Loss (Psychology),Psychoanalysis.,Attitude to Death.,Bereavement.,Grief.,Psychoanalysis.,Thanatology.,Bereavement-- Psychological aspects.,Death-- Psychological aspects.,Loss (Psychology),Psychoanalyse,Psychoanalysis.,Sterben,Tod,Trauerarbeit
Classification :
BF789
.
D4
O5
2007
6. Theoretical computer science: proceedings of the third Italian Conference , Mantova, 2-4 November 1989
Author: edited by A. Bertoni, C. Bohm, P. Miglioli
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science
Classification :
QA
75
.
5
.
I83
1989
7. Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings
Author: CAAP '81 ; edited by E. Astesiano and C. Bohm,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Trees )Graph theory( - Data processing - Congresses,Data structures )Computer science( - Congresses,Computational complexity - Congresses
Classification :
QA
.
C3
166
.
2
1981
8. λ-Calculus and Computer Science Theory :
Author: edited by C. Böhm. B�ohm, C.,
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Logic, Symbolic and mathematical.
Classification :
QA9
.
5
E358
1975
